Maintaining Cross Viewpoint Consistency using ZJohn
نویسندگان
چکیده
This paper discusses the use and integration of formal techniques, in particular Z, into the Open Distributed Processing (ODP) standardization initiative. One of the cornerstones of the ODP framework is a model of multiple viewpoints. During the development process it is important to maintain the consistency of diierent viewpoints of the same ODP speciication. In addition, there must be some way to combine speciications from diierent viewpoints into a single implementation speciication. The process of combining two speciications is known as uniication. Uniication can be used as a method by which to check consistency. This paper describes a mechanism to unify two Z speciications, and hence provide a consistency checking strategy for viewpoints written in Z.
منابع مشابه
Maintaining Cross Viewpoint Consistency using Z
This paper discusses the use and integration of formal techniques in particular Z into the Open Distributed Processing ODP standardization initiative One of the cornerstones of the ODP framework is a model of multiple viewpoints During the development process it is important to maintain the consistency of di erent viewpoints of the same ODP speci cation In addition there must be some way to com...
متن کاملSome Results on Cross Viewpoint Consistency Checking
The ODP multiple viewpoints model prompts the very challenging issue of cross viewpoint consistency This paper considers de nitions of consistency arising from the RM ODP and relates these in a mathematical framework for consistency checking We place existing FDTs in particular LOTOS into this framework Then we consider the prospects for viewpoint translation Our conclusions centre on the relat...
متن کاملSome Results on Cross Viewpoint
The ODP multiple viewpoints model prompts the very challenging issue of cross viewpoint consistency. This paper considers deenitions of consistency arising from the RM-ODP and relates these in a mathematical framework for consistency checking. We place existing FDTs, in particular LOTOS, into this framework. Then we consider the prospects for viewpoint translation. Our conclusions centre on the...
متن کاملFdts for Odp
This paper discusses the use and integration of formal techniques into the Open Distributed Processing ODP standardization initiative The ODP reference model is a natural progression from OSI Multiple viewpoints are used to specify complex ODP systems Formal methods are playing an increasing role within ODP We provide an overview of the ODP reference model before discussing the ODP require ment...
متن کامل